#include<stdio.h>
int main()
{
    int a[10020];
    int i;
    while(1)
    {
        scanf("%d",&a[i]);
        if(a[i]==0)
        break;       
        i++;
    }
    int j;
    for(j=0;j<i;j++)
     printf("Case %d: %d\n",j+1,a[j]);
    return 0;
}